import python
import Resources.FileOpen

from EssaVariable v, EssaDefinition def, string open, string exit
where
    def = v.getDefinition() and
    v.getSourceVariable().getName().charAt(0) = "f" and
    (
        var_is_open(v, _) and open = "open"
        or
        not var_is_open(v, _) and open = "closed"
    ) and
    if BaseFlow::reaches_exit(v) then exit = "exit" else exit = ""
select v.getRepresentation() + " = " + v.getDefinition().getRepresentation(), open, exit
